Secondly,a technique for compositional timing analysis is also proposed to deal with complex transition sequences. In addition,concept of temporal consistency is also introduced.
如果一个特定的变迁序列是可调度的,则相应的活动序列也同样可以顺利地完成自身的执行;否则,不可调度的变迁需要调整自己的时间约束;然后提出了组合式的可调度分析策略以分析复杂变迁序列,最后提出时序一致性的概念。
参考来源 - TCPN的组合可调度分析 in C·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐